1. Automated development of fundamental mathematical theories

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Automatic theorem proving,، Artificial intelligence

رده :
QA
76
.
9
.
A96
.
Q35
1992